Le développement comme champ de bataille
نویسندگان
چکیده
منابع مشابه
La Validation dans le Processus de Développement
The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect i...
متن کاملLe travail coopératif comme vecteur d'évolution de nos systèmes d'information
This article focuses on presenting the cooperative tool DIMS, it is a platform that can manage the participants's daily life, by providing flexibility and speed in the organization's tasks. The main interest lies in the possibility of organizing information system in a logical network, across multiple physical sites, incorporating a specific protocol to making possible the inter-server communic...
متن کاملLe Filtrage Collaboratif vu comme un problème de Consensus d’Ordonnancements
Résumé : Cet article formalise le Filtrage Collaboratif comme un problème de consensus d’ordonnancements. Lorsque les seules informations disponibles sur les utilisateurs sont la liste des produits qu’ils ont achetés ou l’historique des liens qu’ils ont suivis, ce formalisme permet de tenir compte de l’ordre des achats (ou des clics). Un modèle fondé sur un processus de Dirichlet ainsi que sur ...
متن کاملRegistre de services Web pour le développement d'applications
Systems of organizations are more and more based on Service-Oriented Architecture (AOS) since the elementary services can be reused and shared. In order to adopt the AOS concept, the Web services are mainly used. The standards of description (WSDL) and communication (SOAP) of Web services being approved, only standard methods of search and selection are long in emerging. These processes are dif...
متن کاملVers l'utilisation des méthodes formelles pour le développement de linguiciels
A b s t r a c t Formal methods have'nt been applied enough in the development process of lingware although their advantages have been proved in many other domains. In this framework, we have investigated some applications dealing with different processing levels (lexical analyses, morphology, syntax, semantic and pragmatic). These investigations has mainly led to the following observations. Fir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue internationale de politique de développement
سال: 2017
ISSN: 1663-9383,1663-9391
DOI: 10.4000/poldev.2448